Transformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel

RÉSUMÉ. Dans un modèle conceptuel, les contraintes d'intégrité représentent une partie intégrante dont la définition est nécessaire pour exprimer aux mieux la sémantique du réel perçu. Toutefois, ces contraintes même si elles sont exprimées au niveau conceptuel, elles sont très souvent ignorées lors du passage vers le niveau logique. En pratique, la majorité des AGL de modélisation ne supportent pas la traduction automatique de plusieurs types de contraintes laissant ainsi cette tâche à la charge du concepteur. Nous adressons dans ce papier le problème de fournir une approche générique pour automatiser la traduction des contraintes d'intégrité des modèles conceptuels vers le relationnel. Nous formulons notre proposition dans le contexte de l'approche MDA. Pour ce faire, nous proposons une transformation de modèles basée sur le métamodèle UML. L'ensemble des règles de ladite transformation sont décrites en utilisant la notation graphique du langage QVT-relations.